Kai Prince
The University of Manchester
14 August 2025
Definition 1 For simplicity, we will use the alternative and equivalent definition that a locally compact group, \(\AmenableGroup\), is amenable (and second countable) if and only if it has a Følner sequence.